es{-}trans(${\it es}$;$i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}Trans(${\it es}$)($i$)